Словарь по логике - противоположность логическая

вид отношения между противоположными понятиями или суждениями в традиционной логике. В отношении противоположности находятся такие несовместимые понятия, объемы которых включаются в объем более широкого, родового понятия, но не исчерпывают его полностью, напр. "белый черный", "сладкий горький", "высокий низкий" и т. п. Если последнюю пару понятий отнести к людям, то класс "люди" можно разбить на три части: "высокие" "среднего роста" "низкие". Противоположные понятия "высокий" "низкий" займут наиболее удаленные друг от друга части объема родового понятия, но не покроют его целиком.

В отношении противоположности находятся общеутвердительные и общеотрицательные суждения, говорящие об одном и том же классе предметов и об одном и том же свойстве, например: "Всякий человек добр" и "Ни один человек не добр". Такие суждения вместе не могут быть истинными, однако они оба могут оказаться ложными (как это имеет место в приведенном примере).